Common properties of binary relations are defined,
and various basic facts about them are proven.
Binary relations are treated here as terms with arguments
supplied as subterms. See binrel_com for more information
on the pros and cons of this. See the gen_algebra_1 theory
for an alternate treatment.